Maude MSOS Tool
نویسندگان
چکیده
3 MSDF syntax 4 3.1 Modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3.2 Datatype definitions . . . . . . . . . . . . . . . . . . . . . . . 6 3.3 Labels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3.4 Semantic transitions . . . . . . . . . . . . . . . . . . . . . . . 10 3.5 Built-in operations on derived and parameterized sets . . . . . 14 3.6 Sequences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.7 Lists . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.8 Maps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.9 Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
منابع مشابه
Implementing Modular SOS in Maude
Modularity is a pragmatic property of specifications that is not easy to achieve. For instance, it has been left as an open problem by Plotkin in his 81 Aarhus lecture notes where Structural Operational Semantics (SOS) was defined. This open problem has been solved only recently by Mosses with Modular SOS (MSOS), a framework that extends labelled transitions systems with a label category where ...
متن کاملA Formal Semantics for a Quality of Service Contract Language
Current interests in the context of system development include non-functional aspects of an application and the quality of the service (QoS) it provides. In video on demand applications, for instance, properties such as delay, bandwidth and CPU utilization are monitored in order to identify if they are within acceptable limits. In our approach, non-functional requirements are described by contr...
متن کاملMaude Object-Oriented Action Tool
Object-Oriented Action Semantics (OOAS) incorporates object-oriented concepts to the Action Semantics formalism. Its main goal is to obtain more readable and reusable semantics specifications. Moreover, it supports syntax-independent specifications, due to the way classes are written. Maude Object-Oriented Action Tool (MOOAT) is an executable environment for Object-Oriented Action Semantics imp...
متن کاملMapping Modular SOS to Rewriting Logic
Modular SOS (MSOS ) is a framework created to improve the modularity of structural operational semantics specifications, a formalism frequently used in the fields of programming languages semantics and process algebras. With the objective of defining formal tools to support the execution and verification of MSOS specifications, we have defined a mapping, named MtoR, from MSOS to rewriting logic...
متن کاملModular Structural Operational Semantics with Strategies ⋆ Christiano Braga
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of strategies, giving rise to an effective tool to define the semantics of programming languages. We have endowed the Maude MSOS Tool (MMT), an executable environment for modular structural operational semantics, with the p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 176 شماره
صفحات -
تاریخ انتشار 2007